Observational interpretation of Casl specifications
نویسندگان
چکیده
MICHEL BIDOIT†, DONALD SANNELLA‡ and ANDRZEJ TARLECKI§ † Laboratoire Spécification et Vérification, CNRS & ENS de Cachan, France Website: www.lsv.ens-cachan.fr/~bidoit/ ‡ Laboratory for Foundations of Computer Science, University of Edinburgh, UK Website: homepages.inf.ed.ac.uk/dts/ § Institute of Informatics, Warsaw University, and Institute of Computer Science, Polish Academy of Sciences, Warsaw, Poland Website: www.mimuw.edu.pl/~tarlecki/
منابع مشابه
Global Development via Local Observational Construction Steps
The way that refinement of individual “local” components of a specification relates to development of a “global” system from a specification of requirements is explored. Observational interpretation of specifications and refinements add expressive power and flexibility while bringing in some subtle problems. The results are instantiated in the context of Casl architectural specifications.
متن کاملToward Component-Oriented Formal Software Development: An Algebraic Approach⋆ (Extended Abstract)
Component based design and development of software is one of the most challenging issues in software engineering. In this paper, we adopt a somewhat simplified view of software components and discuss how they can be conveniently modeled in a framework that provides a modular approach to formal software development by means of stepwise refinements. In particular we take into account an observati...
متن کاملToward Component-Oriented Formal Software Development: An Algebraic Approach
Component based design and development of software is one of the most challenging issues in software engineering. In this paper, we adopt a somewhat simplified view of software components and discuss how they can be conveniently modelled in a framework that provides a modular approach to formal software development by means of stepwise refinement. In particular we take into account an observati...
متن کاملDO-Casl: An Observer-Based Casl Extension for Dynamic Specifications
We present DO-Casl, a new member of the CASL family of specification languages. It is an extension of Casl-Ltl and it supports a methodology for conveniently writing loose specifications of observers on dynamic sorts. The need for such constructs arose during the development of a CASL library for distributed systems. Indeed, we have frequently used the same pattern of specification, in order to...
متن کاملAn institution for processes and data
Csp-Casl [7] is a comprehensive specification language which combines processes written in the process algebra Csp [2, 8] with the specification of data types formulated in algebraic specification language Casl [5]. Recent developments on Csp-Casl cover tool support [6] as well as testing from Csp-Casl specifications [3]. In this talk we address the question of how to formulate Csp-Casl as an i...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 18 شماره
صفحات -
تاریخ انتشار 2008